Section: Dissemination

Promoting Scientific Activities

V. Cortier was auditioned by the chamber of the workers in Luxembourg, on the security of electronic voting.

• A. Imine: FPS 2017, 10th International Symposium on Foundations & Practice of Security, Nancy, October 23-25, 2017 (co-chair with J. M. Fernandez, Polytechnique Montreal, Canada)

• M. Rusinowitch: SCSS 2017, The 8th International Symposium on Symbolic Computation in Software Science, Gammarth, Tunisie, April 6-9, 2017 (co-chair with M. Mosbah, Univ Bordeaux)

• V. Cortier: E-VoteID 2018, POST 2018, E-VoteID 2017, CCS 2017, LICS 2017, SAC 2017, HotSpot 2017

• S. Kremer: Voting 2018, EuroS&P 2018, PLAS 2017, ESORICS 2017, Voting 2017, EuroS&P 2017

• C. Ringeissen: IJCAR 2018, UNIF 2018, WRLA 2018, FroCoS 2017, UNIF 2017

• M. Rusinowitch: CRISIS 2017, FPS 2017, ICISSP 2018, IWSPA 2018

• V. Cheval: TMPA 2017, SEC@SAC 2017

• V. Cortier: Information & Computation, Journal of Computer Security, ACM Transactions on Privacy and Security (TOPS, previously TISSEC), Foundations and Trends (FnT) in Security and Privacy

• S. Kremer: ERCIM News

• L. Vigneron: Technique et Sciences Informatiques, Lavoisier

• V. Cortier. Invited tutorial at Highlights 2017, London, UK, September 12th, 2017

• V. Cortier. Invited talk at FPS 2017, Nancy, France, October 2017

• V. Cortier. Invited talk at CIAA 2017, Marne-la-Vallée, France, June 2017

• V. Cortier. Invited talk at Workshop on the 20th Anniversary of LSV, Cachan, France, May 11th 2017

• V. Cortier. Invited tutorial at ETAPS 2017, Uppsala, Sweden, April 22nd, 2017

• V. Cortier. Invited talk at Models and Tools for Security Analysis and Proofs Workshop, affiliated with Eurocrypt 2017, Paris, France, April 29th 2017